Canedo, Arquimedes: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[ACM Press the Eleventh IEEE/ACM/IFIP International Conference - Pittsburgh, Pennsylvania (2016.10.01-2016.10.07)] Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis - CODES '16 - Industrial IoT lifecycle via digital twins

Canedo, Arquimedes

Year:

2016

Language:

english

File:

PDF, 246 KB

english, 2016

2

Design Automation of Cyber-Physical Systems || Optimal Design of Distributed Controllers for Large-Scale Cyber-Physical Systems

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 1.38 MB

english, 2019

3

Design Automation of Cyber-Physical Systems || Design Automation Using Structural Graph Convolutional Neural Networks

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 1.23 MB

english, 2019

4

A Quad-Redundant PLC Architecture for Cyber-Resilient Industrial Control Systems

Luo, Jim, Kang, Myong, Bisse, Emmanuel, Okunev, Mike Veldink Dmitriy, Kolb, Scott, Tylka, Joseph G., Canedo, Arquimedes

Journal:

IEEE Embedded Systems Letters

Year:

2020

File:

PDF, 660 KB

2020

5

Design and implementation of a queue compiler

Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa

Journal:

Microprocessors and Microsystems

Year:

2009

Language:

english

File:

PDF, 780 KB

english, 2009

6

Tool of Spies: Leaking your IP by Altering the 3D Printer Compiler

Rokka Chhetri, Sujit, Barua, Anomadarshi, Faezi, Sina, Regazzoni, Francesco, Canedo, Arquimedes, Al Faruque, Mohammad Abdullah

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2019

Language:

english

File:

PDF, 8 KB

english, 2019

7

[IEEE 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) - Vienna, Austria (2016.4.11-2016.4.14)] 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) - Acoustic Side-Channel Attacks on Additive Manufacturing Systems

Al Faruque, Mohammad Abdullah, Chhetri, Sujit Rokka, Canedo, Arquimedes, Wan, Jiang

Year:

2016

Language:

english

File:

PDF, 2.47 MB

english, 2016

8

Design Automation of Cyber-Physical Systems || Formal Techniques for Verification and Testing of Cyber-Physical Systems

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 764 KB

english, 2019

9

Architectural Design Space Exploration of Cyber-physical Systems Using the Functional Modeling Compiler

Canedo, Arquimedes, Richter, Jan H.

Journal:

Year:

2014

Language:

english

File:

PDF, 1.53 MB

english, 2014

10

[ACM Press the 6th International Workshop - Berlin, Germany (2014.10.10-2014.10.10)] Proceedings of the 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools - EOOLT '14 - Extraction of system functions from 1-D simulation component libraries

Canedo, Arquimedes, Richter, Jan H.

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

11

[IEEE 2007 International Conference on Convergence Information Technology (ICCIT 2007) - Gyeongju-si, Gyeongbuk, Korea (2007.11.21-2007.11.23)] 2007 International Conference on Convergence Information Technology (ICCIT 2007) - Novel Addressing Method for Aggregate Types in Queue Processors

Yuki, Teruhisa, Canedo, Arquimedes, Abderazek, Ben A., Sowa, Masahiro

Year:

2007

Language:

english

File:

PDF, 301 KB

english, 2007

12

[IEEE 2007 International Conference on Convergence Information Technology (ICCIT 2007) - Gyeongju-si, Gyeongbuk, Korea (2007.11.21-2007.11.23)] 2007 International Conference on Convergence Information Technology (ICCIT 2007) - Comparing Ontologies Using Entropy

Cho, Miyoung, Choi, Chang, Kim, Wonpil, Park, Jongan, Canedo, Pankoo Kim Arquimedes, Abderazek, Ben, Sowa, Masahiro

Year:

2007

Language:

english

File:

PDF, 119 KB

english, 2007

13

[IEEE 19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'07) - Gramado, Rio Grande do Sul, Brazil (2007.10.24-2007.10.27)] 19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'07) - Queue Register File Optimization Algorithm for QueueCore Processor

Canedo, Arquimedes, Abderazek, Ben, Sowa, Masahiro

Year:

2007

Language:

english

File:

PDF, 643 KB

english, 2007

14

[IEEE 2007 International Conference on Convergence Information Technology (ICCIT 2007) - Gyeongju-si, Gyeongbuk, Korea (2007.11.21-2007.11.23)] 2007 International Conference on Convergence Information Technology (ICCIT 2007) - Comparing Ontologies Using Entropy

Cho, Miyoung, Choi, Chang, Kim, Wonpil, Park, Jongan, Canedo, Pankoo Kim Arquimedes, Abderazek, Ben, Sowa, Masahiro

Year:

2007

Language:

english

File:

PDF, 119 KB

english, 2007

15

Design Automation of Cyber-Physical Systems || Design Automation for Energy Storage Systems

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

File:

PDF, 929 KB

2019

16

Tool of Spies: Leaking your IP by Altering the 3D Printer Compiler

Rokka Chhetri, Sujit, Barua, Anomadarshi, Faezi, Sina, Regazzoni, Francesco, Canedo, Arquimedes, Al Faruque, Mohammad Abdullah

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2019

File:

PDF, 8 KB

2019

17

High Communication Throughput and Low Scan Cycle Time with Multi/Many-Core Programmable Logic Controllers

Canedo, Arquimedes, Ludwig, Hartmut, Al Faruque, Mohammad Abdullah

Journal:

IEEE Embedded Systems Letters

Year:

2014

Language:

english

File:

PDF, 864 KB

english, 2014

18

Design Automation of Cyber-Physical Systems || Platform-Based Design for Automotive and Transportation Cyber-Physical Systems

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 972 KB

english, 2019

19

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Multi-disciplinary integrated design automation tool for automotive cyber-physical systems

Canedo, Arquimedes, Faruque, Mohammad Abdullah Al, Richter, Jan H.

Year:

2014

Language:

english

File:

PDF, 445 KB

english, 2014

20

Design Automation of Cyber-Physical Systems ||

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 8.70 MB

english, 2019

21

Design Automation of Cyber-Physical Systems || Concept Design: Modeling and Synthesis from Requirements to Functional Models and Simulation

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 957 KB

english, 2019

22

[IEEE 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) - Vienna, Austria (2016.4.11-2016.4.14)] 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) - Poster Abstract: Thermal Side-Channel Forensics in Additive Manufacturing Systems

Chhetri, Sujit Rokka, Faezi, Sina, Canedo, Arquimedes, Al Faruque, Mohammad Abdullah

Year:

2016

Language:

english

File:

PDF, 387 KB

english, 2016

23

Efficient compilation for queue size constrained queue processors

Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa

Journal:

Parallel Computing

Year:

2009

Language:

english

File:

PDF, 259 KB

english, 2009

24

The QC-2 parallel Queue processor architecture

Ben A. Abderazek, Arquimedes Canedo, Tsutomu Yoshinaga, Masahiro Sowa

Journal:

Journal of Parallel and Distributed Computing

Year:

2008

Language:

english

File:

PDF, 933 KB

english, 2008

25

[ACM Press the ACM/IEEE 4th International Conference - Philadelphia, Pennsylvania (2013.04.08-2013.04.11)] Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 - Context-sensitive synthesis of executable functional models of cyber-physical systems

Canedo, Arquimedes, Schwarzenbach, Eric, Al Faruque, Mohammad Abdullah

Year:

2013

Language:

english

File:

PDF, 695 KB

english, 2013

26

A new code generation algorithm for 2-offset producer order queue computation model

Arquimedes Canedo, Ben Abderazek, Masahiro Sowa

Journal:

Computer Languages, Systems & Structures

Year:

2008

Language:

english

File:

PDF, 401 KB

english, 2008

27

[IEEE 2009 International Conference on Parallel Processing Workshops (ICPPW) - Vienna, Austria (2009.09.22-2009.09.25)] 2009 International Conference on Parallel Processing Workshops - Software and Hardware Design Issues for Low Complexity High Performance Processor Architecture

Masuda, Masashi, Abdallah, Abderazek Ben, Canedo, Arquimedes

Year:

2009

Language:

english

File:

PDF, 275 KB

english, 2009

28

[ASME ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference - Chicago, Illinois, USA (Sunday 12 August 2012)] Volume 2: 32nd Computers and Information in Engineering Conference, Parts A and B - A Model-Based Functional Modeling and Library Approach for Mechatronic Systems in SysML

Kruse, Benjamin, Münzer, Clemens, Wölkl, Stefan, Canedo, Arquimedes, Shea, Kristina

Year:

2012

Language:

english

File:

PDF, 1012 KB

english, 2012

29

Functional Model-Based Design Methodology for Automotive Cyber-Physical Systems

Wan, Jiang, Canedo, Arquimedes, Al Faruque, Mohammad Abdullah

Journal:

IEEE Systems Journal

Year:

2015

Language:

english

File:

PDF, 1.95 MB

english, 2015

30

[ACM Press the 6th International Workshop - Innsbruck, Austria (2012.10.01-2012.10.01)] Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM '12 - Maintaining consistency between system architecture and dynamic system models with SysML4Modelica

Reichwein, Axel, Paredis, Christiaan J. J., Canedo, Arquimedes, Witschel, Petra, Stelzig, Philipp Emanuel, Votintseva, Anjelika, Wasgint, Rainer

Year:

2012

Language:

english

File:

PDF, 495 KB

english, 2012

31

Design Automation of Cyber-Physical Systems || An Hourglass-Shaped Architecture for Model-Based Development of Networked Cyber-Physical Systems

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 613 KB

english, 2019

32

Compiling for Reduced Bit-Width Queue Processors

Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa

Journal:

Journal of Signal Processing Systems

Year:

2010

Language:

english

File:

PDF, 432 KB

english, 2010

33

[IEEE 2008 International Symposium on parallel Architectures, Algorighms and Networks I-SPAN - Sydney, Australia (2008.05.7-2008.05.9)] 2008 International Symposium on Parallel Architectures, Algorithms, and Networks (i-span 2008) - Quantitative Evaluation of Common Subexpression Elimination on Queue Machines

Canedo, Arquimedes, Sowa, Masahiro, Abderazek, Ben A.

Year:

2008

Language:

english

File:

PDF, 447 KB

english, 2008

34

[IEEE 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Luxembourg, Luxembourg (2015.9.8-2015.9.11)] 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Model-Based Design of Time-Triggered Real-Time Embedded systems for industrial automation

Wan, Jiang, Canedo, Arquimedes, Al Faruque, Mohammad Abdullah

Year:

2015

Language:

english

File:

PDF, 1.92 MB

english, 2015

35

Design Automation of Cyber-Physical Systems || Data-Driven Safety Verification of Complex Cyber-Physical Systems

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 1.15 MB

english, 2019

36

[ACM Press the 30th ACM Conference - Hof, Germany (2019.09.17-2019.09.20)] Proceedings of the 30th ACM Conference on Hypertext and Social Media - HT '19 - Tracking Temporal Evolution of Graphs using Non-Timestamped Data

Rokka Chhetri, Sujit, Goyal, Palash, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 2.13 MB

english, 2019

37

[IEEE 2020 IEEE International Conference on Image Processing (ICIP) - Abu Dhabi, United Arab Emirates (2020.10.25-2020.10.28)] 2020 IEEE International Conference on Image Processing (ICIP) - Diag2graph: Representing Deep Learning Diagrams In Research Papers As Knowledge Graphs

Roy, Aditi, Akrotirianakis, Ioannis, Kannan, Amar V., Fradkin, Dmitriy, Canedo, Arquimedes, Koneripalli, Kaushik, Kulahcioglu, Tugba

Year:

2020

File:

PDF, 157 KB

2020

38

[IEEE 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2014.11.2-2014.11.6)] 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Functional modeling compiler for system-level design of automotive cyber-physical systems

Canedo, Arquimedes, Wan, Jiang, Faruque, Mohammad Abdullah Al

Year:

2014

Language:

english

File:

PDF, 1.20 MB

english, 2014

39

[IEEE 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Limassol (2017.9.12-2017.9.15)] 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Cloud simulation mashups

Canedo, Arquimedes, Quiros, Gustavo, Srivastava, Sanjeev

Year:

2017

Language:

english

File:

PDF, 1.17 MB

english, 2017

40

Design Automation of Cyber-Physical Systems || System Assurance in the Design of Resilient Cyber-Physical Systems

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 706 KB

english, 2019

41

Natural instruction level parallelism-aware compiler for

Ben Abdallah Abderazek, Masashi Masuda, Arquimedes Canedo, Kenichi Kuroda

Journal:

The Journal of Supercomputing

Year:

2011

Language:

english

File:

PDF, 1.34 MB

english, 2011

42

[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Offloading industrial human-machine interaction tasks to mobile devices and the cloud

Wang, Lingyun, Canedo, Arquimedes

Year:

2014

Language:

english

File:

PDF, 788 KB

english, 2014

43

[IEEE 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Gothenburg, Sweden (2015.8.24-2015.8.28)] 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Model-based cyber-physical system integration in the process industry

Song, Zhen, Labalette, Philippe, Burger, Robin, Klein, Wolfram, Nair, Sudev, Suresh, Suhas, Shen, Ling, Canedo, Arquimedes

Year:

2015

Language:

english

File:

PDF, 17.24 MB

english, 2015

44

[ACM Press the 35th International Conference - Austin, Texas (2016.11.07-2016.11.10)] Proceedings of the 35th International Conference on Computer-Aided Design - ICCAD '16 - KCAD

Chhetri, Sujit Rokka, Canedo, Arquimedes, Faruque, Mohammad Abdullah Al

Year:

2016

Language:

english

File:

PDF, 10.95 MB

english, 2016

45

Design Automation of Cyber-Physical Systems || Model-Driven Software Design Automation for Complex Rehabilitation

Al Faruque, Mohammad Abdullah, Canedo, Arquimedes

Year:

2019

Language:

english

File:

PDF, 729 KB

english, 2019

46

[IEEE 2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017) - Xi'an, China (2017.8.20-2017.8.23)] 2017 13th IEEE Conference on Automation Science and Engineering (CASE) - Modeling and simulation of cyberattacks for resilient cyber-physical systems

Rashid, Nafiul, Wan, Jiang, Quiros, Gustavo, Canedo, Arquimedes, Faruque, Mohammad Abdullah Al

Year:

2017

Language:

english

File:

PDF, 1.59 MB

english, 2017

47

[IEEE 2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017) - Xi'an, China (2017.8.20-2017.8.23)] 2017 13th IEEE Conference on Automation Science and Engineering (CASE) - Dispersed automation for industrial Internet of Things — An enabler for advanced manufacturing

Quiros, Gustavo, Cao, Diansong, Canedo, Arquimedes

Year:

2017

Language:

english

File:

PDF, 950 KB

english, 2017

48

[IEEE 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Luxembourg, Luxembourg (2015.9.8-2015.9.11)] 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA) - Security-aware functional modeling of Cyber-Physical Systems

Wan, Jiang, Canedo, Arquimedes, Al Faruque, Mohammad Abdullah

Year:

2015

Language:

english

File:

PDF, 4.26 MB

english, 2015

49

[IEEE 2014 IEEE International Conference on Systems, Man and Cybernetics - SMC - San Diego, CA, USA (2014.10.5-2014.10.8)] 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC) - Systems-driven engineering of complex systems: Behavioral RFAD modeling

Richter, Jan H., Jordan, Lars, Canedo, Arquimedes

Year:

2014

Language:

english

File:

PDF, 870 KB

english, 2014

50

Confidentiality Breach Through Acoustic Side-Channel in Cyber-Physical Additive Manufacturing Systems

Chhetri, Sujit Rokka, Canedo, Arquimedes, Faruque, Mohammad Abdullah Al

Journal:

ACM Transactions on Cyber-Physical Systems

Year:

2017

Language:

english

File:

PDF, 2.40 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски